Xavier Leroy - PDFSEARCH.IO - Document Search Engine

Xavier Leroy
Results: 125

#	Item
61	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
62	Camlidl user’s manual Version 1.02 Xavier Leroy INRIA Rocquencourt July 30, 2001 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2001-07-30 11:37:08 C programming language Data types C++ Procedural programming languages Functional languages Typedef Pointer C Struct Software engineering Computing Computer programming
63	LYCÉE DU e III MILLÉNAIRE Crédit Photo Laurent Bultot, Anne-Natacha Leroy, Marie Georget, Valérie Travet, Béatrice Vermande, François Xavier Salmon, Sophie Dubois, Christel Blanc, Clément Agustoni, Odile NAJIH, St Add to Reading List Source URL: www.sustainable-everyday-project.net Language: French - Date: 2014-10-21 08:36:07
64	The state of OCaml, 2012 Xavier Leroy INRIA Paris-Rocquencourt OCaml Users and Developers Workshop, Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-26 17:35:59 Functional languages OCaml Control flow Procedural programming languages Caml Generalized algebraic data type Eval ML Expr Computing Software engineering Computer programming
65	The OCaml system release 4.00(beta) Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2012-06-06 08:03:00 OCaml Coupling Comparison of programming languages Caml Preprocessor Arbitrary-precision arithmetic Perl module Software engineering Computing Computer programming
66	Du langage `a l’action: compilation et typage Xavier Leroy INRIA Paris-Rocquencourt Coll`ege de France, Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2008-02-08 10:34:04
67	Du langage `a l’action: compilation et typage Xavier Leroy INRIA Paris-Rocquencourt Coll`ege de France, Add to Reading List Source URL: gallium.inria.fr Language: French - Date: 2008-02-08 10:34:04
68	Verified Validation of Lazy Code Motion Jean-Baptiste Tristan Xavier Leroy INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-03-11 04:28:36 Compiler construction Programming language implementation Debugging HTML Validator ALGOL 68 Static single assignment form Structure Compiler Software engineering Computing Computer programming
69	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-02-13 03:53:53
70	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering